Nuprl Definition : ccpred? 11,40
ccpred?(x) == chain_config_ind(x;ff;ff;id.tt;id,num.ff) 
latex

Definitionschain_config_ind(x;head;tail;id.pred(id);id,num.succ(id;num)), tt, ff
FDL editor aliasesccpred?

origin